david hume is and ought